Buy Used and New Gilles Dowek Books

Principles of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9781848820319

Format: Illustrated (171 pages)
Publisher: Springer
Published: 13 Mar 2009

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek,Jean-Jacques Lévy

ISBN 13: 9780857290755

Format: Paperback (118 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9780857291202

Format: Paperback (203 pages)
Publisher: Springer
Published: 14 Jan 2011

Save for later

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings: 1690 (Lecture Notes in Computer Science)

by Laurent Thery,Yves Bertot,Andre Hirschowitz,Christine Paulin,Gilles Dowek

ISBN 13: 9783540664635

Format: Paperback (372 pages)
Publisher: Springer
Published: 01 Sep 1999

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science)

by Jan Heering,Bernhard M??ller,Gilles Dowek,Karl Meinke

ISBN 13: 9783540612544

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Computation, Proof, Machine: Mathematics Enters a New Age

by Gilles Dowek,Pierre Guillot,Marion Roman

ISBN 13: 9780521118019

Format: Hardcover (158 pages)
Publisher: Cambridge University Press
Published: 05 May 2015

Save for later

The Age of Algorithms

by Serge Abiteboul,Gilles Dowek

ISBN 13: 9781108745420

Format: Paperback (166 pages)
Publisher: Cambridge University Press
Published: 31 Dec 2019

Save for later